package gov.nasa.anml.lifted;

import java.util.ArrayList;

import gov.nasa.anml.PDDL;
import gov.nasa.anml.State;
import gov.nasa.anml.PDDL.Argument;
import gov.nasa.anml.PDDL.BooleanExpression;
import gov.nasa.anml.PDDL.Time;
import gov.nasa.anml.utility.SimpleObject;
import gov.nasa.anml.utility.SimpleVoid;

// few could actually directly extend from this, because they'd have a non-constant version with an existing super-type heirarchy to inherit from instead.
public abstract class ConstantExpressionImp<T> extends ExpressionImp<T,SimpleVoid> implements ConstantExpression<T> {

	public void translateStmt(PDDL pddl, Interval unit, PDDL.Time time) {
		ExpressionImp.translateStmt(this,pddl,unit,time);
	}

	public History<SimpleVoid> storage(State p, State c) {
		return null;
	}
}
